Genmitsu 3018 prover setup